1. Infinitary logic : in memoriam Carol Karp
Author: a collection of papers by various authors; edited by D. W. Kueker
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Addresses, essays, lectures ، Infinitary languages,Addresses, essays, lectures ، Model theory
Classification :
QA
3
.
L28
Vol
.
492


2. Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors
Author: edited by D. W. Kueker
Library: Central Library and Documentation Center (Kerman)
Subject: Addresses, essays, lectures ، Infinitary languages,Addresses, essays, lectures ، Model theory,، Karp, Carol, 6291-2791
Classification :
QA
1
.
L4
v
.
492


3. Infinitary logic: in memoriam Carol Karp: a collection of papers by various authors
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Karp, Carol,6291-2791,، Infinitary languages,، Model theory
Classification :
QA
3
.
L28
no
.
492


4. Languages with expressions of infinite length
Author: Karp, Carol R.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Infinitary languages,، Logic, Symbolic and mathematical
Classification :
BC
135
.
K37


5. Large infinitary languages
Author: / M. A. Dickmann
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Infinitary languages.,Model theory.
Classification :
QA
,
9
.
37
,.
D52


6. Large infinitary languages
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Infinitary languages. ; Model theory. ;

7. Large infinitary languages
Author: / [by] M.A. dickmann,Dickmann
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Infinitary languages
Classification :
QA
9
.
37
.
D52


8. Large infinitary languages : model theory
پدیدآورنده : Dickmann, M A
موضوع : ، Infinitary languages,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
9. Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers
Author: Keisler, H. Jerome.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Infinitary languages,، Model theory
Classification :
QA
9
.
K33


10. Model theory for infinitely deep languages /
Author: Maaret Karttunen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Infinitary languages.,Model theory.
Classification :
QA1
.
S96
no
.
50


11. Model theory for infintary logic; logic with countalble conjunctions and finite quantifiers
Author: / H. Jerome Keisler
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Infinitary languages,Model theory
Classification :
511
.
3
K27


12. Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers
Author: Keisler, H. Jerome.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Infinitary languages,، Model theory
Classification :
QA
9
.
K33


13. The Syntax and semantics of infinitary languages
Author: edited by Jon Barwise
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Infinitary languages
Classification :
QA
9
.
S95
1968


14. The Syntax and semantics of infinitary languages
Author: edited by Jon Barwise
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Infinitary languages
Classification :
QA
3
.
L28
Vol
.
72


15. The Syntax and semantics of infinitary languages
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Infinitary languages
Classification :
QA
3
.
L28
no
.
72


16. The syntax and semantics of infinitary languages
Author: edited by Jon Barwise
Library: Central Library and Documentation Center (Kerman)
Subject: ، Infinitary languages
Classification :
QA
1
.
L4
v
.
72


17. The syntax and semantics of infinitary languages
Author: edited by Jon Barwise
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Infinitary languages
Classification :
QA
3
.
L28
no
.
72

